((v1 v1 8) (v2 v2 5))
18
()